机译:CASL ―通用的代数指定语言:语义和证明理论
机译:CASL:通用代数规范语言
机译:将CASL与其他规范语言相关:机构级别
机译:Casl-曲目:StateCharts和代数规格语言CASL的组合
机译:使用认知主体规范语言(CASL)指定和验证多主体系统。
机译:系统生物学标记语言(SBML):3级版本2核心发行版2的语言规范
机译:CASL-通用代数规范语言
机译:综合信息支持系统(IIss)。 (中性数据操作语言)第5卷。通用数据模型子系统。第13部分NDmL(中性数据操作语言)预编译器解析NDmL产品规范